Parallel programming model - PDFSEARCH.IO - Document Search Engine

Parallel programming model
Results: 267

#	Item
71	Polly - Polyhedral optimization in LLVM Tobias Grosser Hongbin Zheng Universität Passau Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler construction Compilers Programming language implementation Parallel computing Loop optimization LLVM Polytope model Clang Vectorization Computing Software Compiler optimizations
72	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
73	On the Scheduling of Checkpoints in Desktop Grids Mohamed Slim Bouguerra, Derrick Kondo INRIA Rhone-Alpes Grenoble ZIRST, 51, avenue Jean KuntzmannMONBONNOT SAINT MARTIN, France ; dko Add to Reading List Source URL: mescal.imag.fr Language: English - Date: 2011-02-25 04:54:29 Fault-tolerant computer systems Distributed computing architecture Application checkpointing Application programming interfaces Parallel computing Algorithms for Recovery and Isolation Exploiting Semantics Client–server model Server Computer cluster Computing Software Concurrent computing
74	Parallel and Concurrent Programming in Haskell version 1.2 Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-05-11 11:31:34 Functional programming Monad Haskell Glasgow Haskell Compiler Parallel computing Concurrent computing Parallel programming model Futures and promises Concurrency Computing Software engineering Computer programming
75	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
76	Distributed Computations Driven by Resource Consumption Luc Moreau Christian Queinnec Department of Electronics and Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2007-01-11 10:22:56 Parallel computing Application programming interfaces Threads Actor model Distributed computing Process Message Passing Interface Concurrency Multithreading Computing Concurrent computing Computer programming
77	A Framework for Automatic OpenMP Code Generation A Project Report submitted by Add to Reading List Source URL: polly.llvm.org Language: English - Date: 2012-02-15 16:11:19 Compiler optimizations Parallel computing Application programming interfaces Compilers Fortran OpenMP LLVM Loop optimization Polytope model Computing Software Computer programming
78	MC# 2.0: a language for concurrent distributed programming based on .NET Yury Serdyuk Program Systems Institute of Russian Academy of Sciences Russia), PereslavlZalessky Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:10:54 Inter-process communication Parallel computing Microsoft Research Application programming interfaces Process calculi Actor model Objective-C Message passing Message Passing Interface Computing Computer programming Software engineering
79	Microsoft PowerPoint - UPC-Perf-Model.ppt Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:30 Data management Barcodes Identifiers Supply chain management Universal Product Code Vectorization Type system Parallel computing Partition Compiler optimizations Programming language theory Computing
80	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming